Bicategories of spans and relations
نویسندگان
چکیده
منابع مشابه
Knowledge Representation in Bicategories of Relations
We introduce the relational ontology log, or relational olog, a knowledge representation system based on the category of sets and relations. It is inspired by Spivak and Kent’s olog, a recent categorical framework for knowledge representation. Relational ologs interpolate between ologs and description logic, the dominant formalism for knowledge representation today. In this paper, we investigat...
متن کاملBasic Bicategories
A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.
متن کاملBicategories of Concurrent Games
This paper summarises recent results on bicategories of concurrent games and strategies. Nondeterministic concurrent strategies, those nondeterministic plays of a game left essentially unchanged by composition with copy-cat strategies, have recently been characterized as certain maps of event structures. This leads to a bicategory of general concurrent games in which the maps are nondeterminist...
متن کاملMonads and Interpolads in Bicategories
Given a bicategory, Y , with stable local coequalizers, we construct a bicategory of monads Y -mnd by using lax functors from the generic 0-cell, 1-cell and 2-cell, respectively, into Y . Any lax functor into Y factors through Y -mnd and the 1-cells turn out to be the familiar bimodules. The locally ordered bicategory rel and its bicategory of monads both fail to be Cauchy-complete, but have a ...
متن کاملBicategories of Processes
The suspension loop construction is used to de ne a process in a symmetric monoidal category The algebra of such processes is that of symmetric monoidal bicategories Processes in categories with prod ucts and in categories with sums are studied in detail and in both cases the resulting bicategories of processes are equipped with opera tions called feedback Appropriate versions of traced monoida...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1984
ISSN: 0022-4049
DOI: 10.1016/0022-4049(84)90061-6